Optimal. Leaf size=152 \[ \frac {\left (B-\frac {A \sqrt {c}}{\sqrt {a}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a} e}}\right )}{c^{3/4} \sqrt {\sqrt {c} d-\sqrt {a} e}}+\frac {\left (B+\frac {A \sqrt {c}}{\sqrt {a}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d+\sqrt {a} e}}\right )}{c^{3/4} \sqrt {\sqrt {c} d+\sqrt {a} e}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 152, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.120, Rules used = {841, 1180, 214}
\begin {gather*} \frac {\left (B-\frac {A \sqrt {c}}{\sqrt {a}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a} e}}\right )}{c^{3/4} \sqrt {\sqrt {c} d-\sqrt {a} e}}+\frac {\left (\frac {A \sqrt {c}}{\sqrt {a}}+B\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {a} e+\sqrt {c} d}}\right )}{c^{3/4} \sqrt {\sqrt {a} e+\sqrt {c} d}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 841
Rule 1180
Rubi steps
\begin {align*} \int \frac {A+B x}{\sqrt {d+e x} \left (a-c x^2\right )} \, dx &=2 \text {Subst}\left (\int \frac {-B d+A e+B x^2}{-c d^2+a e^2+2 c d x^2-c x^4} \, dx,x,\sqrt {d+e x}\right )\\ &=\left (B-\frac {A \sqrt {c}}{\sqrt {a}}\right ) \text {Subst}\left (\int \frac {1}{c d-\sqrt {a} \sqrt {c} e-c x^2} \, dx,x,\sqrt {d+e x}\right )+\left (B+\frac {A \sqrt {c}}{\sqrt {a}}\right ) \text {Subst}\left (\int \frac {1}{c d+\sqrt {a} \sqrt {c} e-c x^2} \, dx,x,\sqrt {d+e x}\right )\\ &=\frac {\left (B-\frac {A \sqrt {c}}{\sqrt {a}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a} e}}\right )}{c^{3/4} \sqrt {\sqrt {c} d-\sqrt {a} e}}+\frac {\left (B+\frac {A \sqrt {c}}{\sqrt {a}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d+\sqrt {a} e}}\right )}{c^{3/4} \sqrt {\sqrt {c} d+\sqrt {a} e}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.38, size = 188, normalized size = 1.24 \begin {gather*} \frac {\frac {\left (\sqrt {a} B+A \sqrt {c}\right ) \tan ^{-1}\left (\frac {\sqrt {-c d-\sqrt {a} \sqrt {c} e} \sqrt {d+e x}}{\sqrt {c} d+\sqrt {a} e}\right )}{\sqrt {-c d-\sqrt {a} \sqrt {c} e}}+\frac {\left (\sqrt {a} B-A \sqrt {c}\right ) \tan ^{-1}\left (\frac {\sqrt {-c d+\sqrt {a} \sqrt {c} e} \sqrt {d+e x}}{\sqrt {c} d-\sqrt {a} e}\right )}{\sqrt {-c d+\sqrt {a} \sqrt {c} e}}}{\sqrt {a} \sqrt {c}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.72, size = 148, normalized size = 0.97
method | result | size |
derivativedivides | \(-2 c \left (\frac {\left (-A c e +B \sqrt {a c \,e^{2}}\right ) \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (-c d +\sqrt {a c \,e^{2}}\right ) c}}\right )}{2 c \sqrt {a c \,e^{2}}\, \sqrt {\left (-c d +\sqrt {a c \,e^{2}}\right ) c}}-\frac {\left (A c e +B \sqrt {a c \,e^{2}}\right ) \arctanh \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (c d +\sqrt {a c \,e^{2}}\right ) c}}\right )}{2 c \sqrt {a c \,e^{2}}\, \sqrt {\left (c d +\sqrt {a c \,e^{2}}\right ) c}}\right )\) | \(148\) |
default | \(-2 c \left (\frac {\left (-A c e +B \sqrt {a c \,e^{2}}\right ) \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (-c d +\sqrt {a c \,e^{2}}\right ) c}}\right )}{2 c \sqrt {a c \,e^{2}}\, \sqrt {\left (-c d +\sqrt {a c \,e^{2}}\right ) c}}-\frac {\left (A c e +B \sqrt {a c \,e^{2}}\right ) \arctanh \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (c d +\sqrt {a c \,e^{2}}\right ) c}}\right )}{2 c \sqrt {a c \,e^{2}}\, \sqrt {\left (c d +\sqrt {a c \,e^{2}}\right ) c}}\right )\) | \(148\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2357 vs.
\(2 (114) = 228\).
time = 4.42, size = 2357, normalized size = 15.51 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \frac {A}{- a \sqrt {d + e x} + c x^{2} \sqrt {d + e x}}\, dx - \int \frac {B x}{- a \sqrt {d + e x} + c x^{2} \sqrt {d + e x}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.50, size = 177, normalized size = 1.16 \begin {gather*} -\frac {{\left (B a {\left | c \right |} + \sqrt {a c} A {\left | c \right |}\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-\frac {c d + \sqrt {c^{2} d^{2} - {\left (c d^{2} - a e^{2}\right )} c}}{c}}}\right )}{\sqrt {-c^{2} d - \sqrt {a c} c e} a c} - \frac {{\left (B a {\left | c \right |} - \sqrt {a c} A {\left | c \right |}\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-\frac {c d - \sqrt {c^{2} d^{2} - {\left (c d^{2} - a e^{2}\right )} c}}{c}}}\right )}{\sqrt {-c^{2} d + \sqrt {a c} c e} a c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.31, size = 2065, normalized size = 13.59 \begin {gather*} \mathrm {atan}\left (\frac {a^2\,c^5\,d^3\,{\left (\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}\right )}^{3/2}\,\sqrt {d+e\,x}\,8{}\mathrm {i}+A^2\,a^2\,c^3\,e^2\,\sqrt {\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}-B^2\,a^2\,c^3\,d^2\,\sqrt {\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}+B^2\,a^3\,c^2\,e^2\,\sqrt {\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}-A^2\,a\,c^4\,d^2\,\sqrt {\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}-a^3\,c^4\,d\,e^2\,{\left (\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}\right )}^{3/2}\,\sqrt {d+e\,x}\,8{}\mathrm {i}}{A^3\,c\,e^2\,\sqrt {a^3\,c^3}-B^3\,a^3\,c\,e^2-2\,A^2\,B\,a\,c^3\,d^2-B^3\,a\,d\,e\,\sqrt {a^3\,c^3}-A^2\,B\,a^2\,c^2\,e^2+A\,B^2\,a\,e^2\,\sqrt {a^3\,c^3}+2\,A\,B^2\,c\,d^2\,\sqrt {a^3\,c^3}+A^3\,a\,c^3\,d\,e+3\,A\,B^2\,a^2\,c^2\,d\,e-3\,A^2\,B\,c\,d\,e\,\sqrt {a^3\,c^3}}\right )\,\sqrt {\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}+A^2\,a\,c^3\,d+B^2\,a^2\,c^2\,d-2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,2{}\mathrm {i}-\mathrm {atan}\left (\frac {a^2\,c^5\,d^3\,{\left (-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}\right )}^{3/2}\,\sqrt {d+e\,x}\,8{}\mathrm {i}+A^2\,a^2\,c^3\,e^2\,\sqrt {-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}-B^2\,a^2\,c^3\,d^2\,\sqrt {-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}+B^2\,a^3\,c^2\,e^2\,\sqrt {-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}-A^2\,a\,c^4\,d^2\,\sqrt {-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,\sqrt {d+e\,x}\,2{}\mathrm {i}-a^3\,c^4\,d\,e^2\,{\left (-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}\right )}^{3/2}\,\sqrt {d+e\,x}\,8{}\mathrm {i}}{A^3\,c\,e^2\,\sqrt {a^3\,c^3}+B^3\,a^3\,c\,e^2+2\,A^2\,B\,a\,c^3\,d^2-B^3\,a\,d\,e\,\sqrt {a^3\,c^3}+A^2\,B\,a^2\,c^2\,e^2+A\,B^2\,a\,e^2\,\sqrt {a^3\,c^3}+2\,A\,B^2\,c\,d^2\,\sqrt {a^3\,c^3}-A^3\,a\,c^3\,d\,e-3\,A\,B^2\,a^2\,c^2\,d\,e-3\,A^2\,B\,c\,d\,e\,\sqrt {a^3\,c^3}}\right )\,\sqrt {-\frac {B^2\,a\,e\,\sqrt {a^3\,c^3}+A^2\,c\,e\,\sqrt {a^3\,c^3}-A^2\,a\,c^3\,d-B^2\,a^2\,c^2\,d+2\,A\,B\,a^2\,c^2\,e-2\,A\,B\,c\,d\,\sqrt {a^3\,c^3}}{4\,a^2\,c^4\,d^2-4\,a^3\,c^3\,e^2}}\,2{}\mathrm {i} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________